Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2020/2021

Search: ^a

Education/MFES Web Changed Changed by
ATS 29 Oct 2020 - 15:14 - r12 JoaoSaraiva
Análise e Teste de Software (H507O9) Equipa Docente Saraiva: Aulas teóricas José Nuno Macedo: Aulas laboratoriais Sumários Aula 1 (14/10) (T PL) Apresenta ...
Avisos 30 Oct 2020 - 08:45 - r9 JoseNunoOliveira
30 Out CSI: módulo RelCalc.als já está disponível. 27 Out EM: o servidor do alloy4fun já está a funcionar. 24 Out CSI: preparação para as aulas #03: ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM